The --no-coverage-check option has been removed.
